1
Расширение: от второго до $n$-го порядка линейных уравнений
MATH009Lesson 4
00:00
Расширение от уравнений второго порядка до $n$-го порядка линейных дифференциальных уравнений означает фундаментальный сдвиг в сложности моделирования. В то время как уравнение второго порядка обычно отслеживает одно колеблющееся тело, уравнения $n$-го порядка позволяют описывать системы с несколькими степенями свободы, такие как взаимосвязанные механические компоненты или сложные электрические сети. Этот переход обобщает линейный дифференциальный оператор $L$, показывая, что независимо от того, имеем ли мы дело с двумя производными или двадцатью, структура пространства решений — определяемая принципом суперпозиции — остается прекрасно согласованной.

Архитектура уравнений высших порядков

Линейное дифференциальное уравнение $n$-го порядка характеризуется его старшей производной. Мы определяем общую форму как Уравнение (1):

$$P_0(t) \frac{d^n y}{dt^n} + P_1(t) \frac{d^{n-1} y}{dt^{n-1}} + \dots + P_{n-1}(t) \frac{dy}{dt} + P_n(t)y = G(t)$$ (1)

Для упрощения теоретического анализа мы часто нормализуем это уравнение, разделив на $P_0(t)$, предполагая, что оно не равно нулю на интересующем интервале. Это приводит к Стандартная форма (Уравнение 2):

$$L[y] = \frac{d^n y}{dt^n} + p_1(t) \frac{d^{n-1} y}{dt^{n-1}} + \dots + p_{n-1}(t) \frac{dy}{dt} + p_n(t)y = g(t)$$ (2)

Обозначение оператора и постоянные коэффициенты

Сложность $n$ производных сводится к одному линейному оператору $L$. Когда коэффициенты являются постоянными ($a_n$), выражение упрощается до:

$L[y] = a_0y^{(n)} + a_1y^{(n-1)} + \dots + a_{n-1}y' + a_ny = g(t)$

Это обозначение подчеркивает, что $L$ действует линейно: $L[c_1y_1 + c_2y_2] = c_1L[y_1] + c_2L[y_2]$. Этот принцип гарантирует, что общее решение состоит из дополнительного решения ($y_c$) и частного решения ($Y$).

Физическая интуиция: Система связанных масс

Рассмотрим Рисунок 4.2.4: Система с двумя пружинами и двумя массами с массами $m_1, m_2$ и перемещениями $u_1, u_2$. Физика даёт два связанных уравнения второго порядка. Изолируя $u_1$ путём подстановки, мы получаем одно уравнение четвёртого порядка уравнение. Чтобы решить его, нам требуется 4 начальных условия (положение и скорость для каждой массы), чтобы найти уникальную физическую траекторию.

Пример с решением: Однородное решение

Найдите общее решение дифференциального уравнения: $y''' - y'' - y' + y = 0$

Шаг 1: Характеристическое уравнение

Предположим, что $y = e^{rt}$. Подставляя в ОДУ, получаем: $r^3 - r^2 - r + 1 = 0$.

Шаг 2: Разложение на множители

Разложим по группам: $r^2(r - 1) - 1(r - 1) = 0 \implies (r^2 - 1)(r - 1) = 0$.
Это раскрывается до $(r - 1)(r + 1)(r - 1) = (r - 1)^2(r + 1) = 0$.

Шаг 3: Построение решения

Корни: $r = 1$ (кратность 2) и $r = -1$. Поскольку $r=1$ повторяется, мы умножаем второй член на $t$.

$y_c(t) = c_1e^t + c_2te^t + c_3e^{-t}$

🎯 Основной принцип: Масштабирование пространства решений
Линейное дифференциальное уравнение $n$-го порядка требует точно $n$ линейно независимых решений, чтобы натянуть его пространство решений. Определитель Вронского $W(y_1, \dots, y_n)$ должен быть отличным от нуля, чтобы гарантировать эту независимость.